Infinite set

Results: 72



#Item
61Programming in Martin-L¨ of ’s Type Theory

Programming in Martin-L¨ of ’s Type Theory

Add to Reading List

Source URL: www.ens-lyon.fr

Language: English - Date: 2011-02-09 11:14:25
62A Brief History of InÞnity The infinite has always been a slippery concept. Even the commonly accepted mathematical view, developed by Georg Cantor,

A Brief History of InÞnity The infinite has always been a slippery concept. Even the commonly accepted mathematical view, developed by Georg Cantor,

Add to Reading List

Source URL: math123.net

Language: English - Date: 2012-09-16 15:34:18
63GEORG CANTOR AND THE BATTLE FOR TRANSFINITE SET THEORY Joseph W. Dauben

GEORG CANTOR AND THE BATTLE FOR TRANSFINITE SET THEORY Joseph W. Dauben

Add to Reading List

Source URL: www.acmsonline.org

Language: English - Date: 2004-08-23 17:18:44
64Report from Dagstuhl Seminar[removed]Computing with Infinite Data: Topological and Logical

Report from Dagstuhl Seminar[removed]Computing with Infinite Data: Topological and Logical

Add to Reading List

Source URL: drops.dagstuhl.de

Language: English - Date: 2012-01-12 03:38:24
65COLLOQUIA MATHEMATICA SOCIETATIS JANOS BOLYAI 10 . INFINITE AND FINITE SETS, KESZTHELY (HUNGARY), 1973 .

COLLOQUIA MATHEMATICA SOCIETATIS JANOS BOLYAI 10 . INFINITE AND FINITE SETS, KESZTHELY (HUNGARY), 1973 .

Add to Reading List

Source URL: www.math-inst.hu

Language: English - Date: 2006-11-05 15:16:06
66Programming in Martin-L¨ of ’s Type Theory

Programming in Martin-L¨ of ’s Type Theory

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2010-04-12 10:42:38
67GEORG CANTOR AND THE BATTLE FOR TRANSFINITE SET THEORY Joseph W. Dauben

GEORG CANTOR AND THE BATTLE FOR TRANSFINITE SET THEORY Joseph W. Dauben

Add to Reading List

Source URL: www.ikhebeenvraag.be

Language: English - Date: 2008-10-06 07:23:30
682.3 Cantor’s Infinite Numbers  75

2.3 Cantor’s Infinite Numbers 75

Add to Reading List

Source URL: sofia.nmsu.edu

Language: English - Date: 2011-05-12 12:56:59
69A combinatorial algorithm minimizing submodular functions in strongly polynomial time Alexander Schrijver1

A combinatorial algorithm minimizing submodular functions in strongly polynomial time Alexander Schrijver1

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2004-08-26 06:01:18
70Al-Kindi’s Mathematical Metaphysics: Al-Kindi uses infinity to disprove the eternity of the world. His first step can be summarized in his statements as follows:

Al-Kindi’s Mathematical Metaphysics: Al-Kindi uses infinity to disprove the eternity of the world. His first step can be summarized in his statements as follows:

Add to Reading List

Source URL: www.muslimphilosophy.com

Language: English - Date: 2007-01-25 17:30:15